Obraz w obrazie i rama. Schulz wobec tradycji

Martin Rama

Tunisia’s unemployment rate has been among the highest in the world for almost two decades. This article claims that such a high rate reflects measurement problems rather than labor market inefficiency. After discussing the reasons why unemployment rates may not be comparable across countries and reviewing the tools that are available to analyze unemployment in a specific country, the article p...

Critical Survey of Rama

Rama midwifery in eastern Nicaragua.

Rama midwives in eastern Nicaragua use a wide array of plants in providing health care to women and infants. In this study, I document the use of medicinal plants by Rama midwives on the island of Rama Cay in eastern Nicaragua. Field investigations included semi-structured interviews and field trips with eight midwives to collect voucher specimens. A total of 162 plant species, in 125 genera an...

System Description : E 1 . 8 Stephan Schulz

E is a theorem prover for full first-order logic with equality. It reduces first-order problems to clause normal form and employs a saturation algorithm based on the equational superposition calculus. E is built on shared terms with cached rewriting, and employs several innovations for efficient clause indexing. Major strengths of the system are automatic problem analysis and highly flexible se...

Hochschild Cohomology of the Liu–schulz Algebras

A description of the Hochschild cohomology algebra for the symmetric 8-dimensional algebras found by Liu and Schulz is given in terms of generators and relations. The dimensions of the cohomology groups are calculated. §